1) Teorema di compattezza

2) Verificare che la formula è derivabile e se non lo è trovare un controesempio: 
AxEy(A(x,y) OR B(y)) -> AxEy(A(x,y) AND B(y))

3) Dimostrare la ricorsione sul decorso dei valori sulla funzione:
f(x,0) = 1
f(x,y+1) = f(x,y-1)+f(x,y-2).